Symmetry and interactivity in Programming
نویسنده
چکیده
We recall some of the early occurrences of the notions of interac-tivity and symmetry in the operational and denotational semantics of programming languages. We suggest some connections with ludics. Proof theory and programming are deeply intertwinned research areas. This short paper will address and compare ideas from both sides, so it seems appropriate to begin by recalling what this general interplay is about, before we enter into the more specific topic we have in mind here, namely symmetry and interactivity of computation. First, a disclaimer is in order: the encounter of logic and programming is by far not limited to what is commonly called logic programming. This expression refers to a programming style in which computation is proof search. I am speaking here of the larger match between two kinds of wide-range activities: • writing programs, or any piece of structured software, proving their correctness with respect to a specification, designing a language, implementing it via a compiler into another programming language, which may be itself amenable to the same kind of analysis, etc...;
منابع مشابه
Computational determination of character table and symmetry of fullerenes cage as C24 and C28
Fullerene chemistry is nowadays a well-established field of both theoretical and experimental investigations. This study considers the symmetry of small fullerenes cage C24 and C28. Using PM3 program for C24 and C28 fullerenes, Oh and Td symmetry were confirmed, respectively. The mentioned algorithm to compute the automorphism group of these fullerenes with connectivity and geometry of th...
متن کاملNoether Symmetry in f(T) Theory at the anisotropic universe
As it is well known, symmetry plays a crucial role in the theoretical physics. On other hand, the Noether symmetry is a useful procedure to select models motivated at a fundamental level, and to discover the exact solution to the given lagrangian. In this work, Noether symmetry in f(T) theory on a spatially homogeneous and anisotropic Bianchi type I universe is considered. We discuss the Lagran...
متن کاملCalculation of Buckling Load and Eigen Frequencies for Planar Truss Structures with Multi-Symmetry
In this paper, the region in which the structural system is situated is divided into four subregions, namely upper, lower, left and right subregions. The stiffness matrix of the entire system is then formed and using the existing direct symmetry and reverse symmetry, the relationships between the entries of the matrix are established. Examples are included to illustrate the steps of the method.
متن کاملThe effect of systems interaction possibility of electronic word of mouth advertising and E_ quality on E_ loyalty with the moderating role of decision support satisfaction
Internet revolution and ICT have changed the world and access to information and communication of the people with each other is possible more than past. In this new environment, relying on E-word of mouth communication could be a way to achieve a competitive advantage. Given the pervasive role of new technologies in Service industry as well as importance of customer loyalty in the insurance ind...
متن کاملλ-Symmetry method and the Prelle-Singer method for third-order differential equations
In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry method for third-order differential equations.In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 9 شماره
صفحات -
تاریخ انتشار 2003